Generalising the staircase models

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Comparing and Generalising Models for Metrics Repositories

Methodology assessment requires metrics. Large scale metrics collection requires a persistent data store. Persistent data stores require a model for the database design. Such models reeect the assumptions of their designers; e.g. waterfall development , non-object-oriented languages, etc. We review several models for metrics repositories to conclude that most of the existing metrics repositorie...

متن کامل

Generalising Conservativity

A constraint on functions from sets and relations to sets is studied. This constraint is a generalisation of the constraint of conservativity known from the study of generalised quantifiers in natural languages. It is suggested that this generalised constraint constitutes a semantic universal.

متن کامل

Generalising the array split obfuscation

An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineering of object-oriented programs more difficult. In this paper, we propose a fresh approach by obfuscating abstract data-types allowing us to develop structuredependent obfuscations that would otherwise (traditionally) not ...

متن کامل

Generalising the BETA Type System

The type system of object-oriented programming languages should enable the description of models that originate from object-oriented analysis and design. In this paper, the BETA type system is generalised, resulting in direct language support for a number of new modelling aspects. The increased expressive power is obtained from a synergy between general block structure and the generalised type ...

متن کامل

Generalising Discontinuity

This paper makes two generalisations of categorial calculus of discontinuity. In the rst we introduce unary modalities which mediate between continuous and discontinuous strings. In the second each of the modes of adjunction of the proposal to date, concatenation, juxtaposition and interpolation, are augmented with variants. Linguistic illustration and motivation is provided, and we show how ad...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Nuclear Physics B

سال: 1993

ISSN: 0550-3213

DOI: 10.1016/0550-3213(93)90007-c